CORAL[3]
Royal Signals and Radar Establishment, Malvern UK.
A language for programming real-time systems, a derivative of JOVIAL and ALGOL 60. Strongly associated with MASCOT, a design technique for real time systems. It was adopted as the British military standard from 1970 until the arrival of Ada.
CORAL 64
CORAL 66
"Official Definition of CORAL 66", P. M. Woodward et al, HMSO, London, 1970, ISBN 0-11-470221-7.